Software construction

Results: 3327



#Item
171Software engineering / Computer programming / Software development / Software optimization / Aspect-oriented software development / Profiling / Compiler construction / Aspect-oriented programming / Call graph / Offender profiling / Debugger / Inheritance

Interactive Code Execution Profiling Alexandre Bergel PLEIAD Lab, Department of Computer Science (DCC), University of Chile http://bergel.eu 1.

Add to Reading List

Source URL: liveprogramming.github.io

Language: English - Date: 2013-05-19 19:35:21
172Real estate / Computing / Construction / Construction software / Procore / Building engineering / Punch list / Smartphones / Submittals / Android

FOR ANDROID CONSTRUCTION PROJECT MANAGEMENT AT YOUR FINGERTIPS A collaborative tool to manage all of your projects anywhere, anytime.

Add to Reading List

Source URL: www.procore.com

Language: English - Date: 2015-10-20 17:08:51
173Programming language theory / Software engineering / Ecology / Computer programming / Landscape ecology / Functional languages / Market segmentation / Ecological niche / Habitat / Lisp / Niche

A Simulation of Niche Construction Kevin B. Korb and Alan Dorin Technical ReportBayesian Intelligence Abstract We report on a simple, generic simulation of niches and their propagation

Add to Reading List

Source URL: bayesian-intelligence.com

Language: English - Date: 2009-10-12 21:01:59
174Software / Computing / Compiling tools / Formal languages / Finite automata / Parser generators / Compiler construction / Flex / Printf format string / Lexical analysis / GNU bison / Regular expression

COMP 520 FallScanners and Parsers (1) Scanners and parsers

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2007-09-23 21:06:13
175Software engineering / Computing / Computer programming / Compiler construction / Scope / Name resolution / Syntax / Variable / Lambda calculus / Declaration / Compiler / Scheme

Delft University of Technology Software Engineering Research Group Technical Report Series A Theory of Name Resolution with Extended Coverage and Proofs

Add to Reading List

Source URL: swerl.tudelft.nl

Language: English - Date: 2015-01-30 09:52:18
176Computing / Software / Programming language implementation / Compiler construction / Assembly languages / Java bytecode / Bytecode / Java virtual machine / Just-in-time compilation / Interpreter / Compiler / Ahead-of-time compilation

COMP 520 FallNative code generation (1) Native code generation

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2007-11-03 22:45:28
177Computing / Software / Programming language implementation / Compiler construction / Cross-platform software / Array programming languages / Functional languages / Interpreter / Bytecode / Just-in-time compilation / Compiler / Java

Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization Haichuan Wang1, Peng Wu2, David Padua1 1 University of Illinois at Urbana-Champaign

Add to Reading List

Source URL: cgo.org

Language: English - Date: 2014-02-24 13:06:24
178Software engineering / Computing / Software / Compiler construction / Formal methods / Logic in computer science / Programming language implementation / Functional languages / Programming language / Semantics / Compiler / Low-level programming language

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2015-12-11 07:16:08
179Construction software / Procore / Smartphones / Email / General contractor / Outlook.com / Internet / Document management system / Construction management / Project management software / IPhone

WHAT IS PROCORE? Procore provides cloud-based construction management software to over half of a million registered users. Procore offers a secure management platform for all types of construction projects including ind

Add to Reading List

Source URL: www.procore.com

Language: English - Date: 2015-10-20 17:08:54
180Computing / Software engineering / Parallel computing / Computer memory / Concurrent computing / Compiler construction / Search algorithms / Depth-first search / Thread / Memory barrier / Barrier / Graph

Analysis of Partitioned Global Address Space Programs by Amir Kamil Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial satisfact

Add to Reading List

Source URL: titanium.cs.berkeley.edu

Language: English - Date: 2010-05-05 00:12:12
UPDATE